Report of Investigations No. 132 Continuity and Internal Properties of Gulf Coast Sandstones and their Implications for Geopressured Fluid Production

UT Librarie

Models and Strategies for Variants of the Job Shop Scheduling Problem

Recently, a variety of constraint programming and Boolean satisfiability approaches to scheduling problems have been introduced. They have in common the use of relatively simple propagation mechanisms and an adaptive way to focus on the most constrained part of the problem. In some cases, these methods compare favorably to more classical constraint programming methods relying on propagation algorithms for global unary or cumulative resource constraints and dedicated search heuristics. In particular, we described an approach that combines restarting, with a generic adaptive heuristic and solution guided branching on a simple model based on a decomposition of disjunctive constraints. In this paper, we introduce an adaptation of this technique for an important subclass of job shop scheduling problems (JSPs), where the objective function involves minimization of earliness/tardiness costs. We further show that our technique can be improved by adding domain specific information for one variant of the JSP (involving time lag constraints). In particular we introduce a dedicated greedy heuristic, and an improved model for the case where the maximal time lag is 0 (also referred to as no-wait JSPs).Comment: Principles and Practice of Constraint Programming - CP 2011, Perugia : Italy (2011

First-order interference of nonclassical light emitted spontaneously at different times

We study first-order interference in spontaneous parametric down-conversion generated by two pump pulses that do not overlap in time. The observed modulation in the angular distribution of the signal detector counting rate can only be explained in terms of a quantum mechanical description based on biphoton states. The condition for observing interference in the signal channel is shown to depend on the parameters of the idler radiation.Comment: 5 pages, two-column, submitted to PR

Interferometric Bell-state preparation using femtosecond-pulse-pumped Spontaneous Parametric Down-Conversion

We present theoretical and experimental study of preparing maximally entangled two-photon polarization states, or Bell states, using femtosecond pulse pumped spontaneous parametric down-conversion (SPDC). First, we show how the inherent distinguishability in femtosecond pulse pumped type-II SPDC can be removed by using an interferometric technique without spectral and amplitude post-selection. We then analyze the recently introduced Bell state preparation scheme using type-I SPDC. Theoretically, both methods offer the same results, however, type-I SPDC provides experimentally superior methods of preparing Bell states in femtosecond pulse pumped SPDC. Such a pulsed source of highly entangled photon pairs is useful in quantum communications, quantum cryptography, quantum teleportation, etc.Comment: 11 pages, two-column format, to appear in PR

Investigating a Hybrid Metaheuristic For Job Shop Rescheduling

Previous research has shown that artificial immune systems can be used to produce robust schedules in a manufacturing environment. The main goal is to develop building blocks (antibodies) of partial schedules that can be used to construct backup solutions (antigens) when disturbances occur during production. The building blocks are created based upon underpinning ideas from artificial immune systems and evolved using a genetic algorithm (Phase I). Each partial schedule (antibody) is assigned a fitness value and the best partial schedules are selected to be converted into complete schedules (antigens). We further investigate whether simulated annealing and the great deluge algorithm can improve the results when hybridised with our artificial immune system (Phase II). We use ten fixed solutions as our target and measure how well we cover these specific scenarios

Atmospheric Heating and Wind Acceleration: Results for Cool Evolved Stars based on Proposed Processes

A chromosphere is a universal attribute of stars of spectral type later than ~F5. Evolved (K and M) giants and supergiants (including the zeta Aurigae binaries) show extended and highly turbulent chromospheres, which develop into slow massive winds. The associated continuous mass loss has a significant impact on stellar evolution, and thence on the chemical evolution of galaxies. Yet despite the fundamental importance of those winds in astrophysics, the question of their origin(s) remains unsolved. What sources heat a chromosphere? What is the role of the chromosphere in the formation of stellar winds? This chapter provides a review of the observational requirements and theoretical approaches for modeling chromospheric heating and the acceleration of winds in single cool, evolved stars and in eclipsing binary stars, including physical models that have recently been proposed. It describes the successes that have been achieved so far by invoking acoustic and MHD waves to provide a physical description of plasma heating and wind acceleration, and discusses the challenges that still remain.Comment: 46 pages, 9 figures, 1 table; modified and unedited manuscript; accepted version to appear in: Giants of Eclipse, eds. E. Griffin and T. Ake (Berlin: Springer

Multiwavelength studies of MHD waves in the solar chromosphere: An overview of recent results

The chromosphere is a thin layer of the solar atmosphere that bridges the relatively cool photosphere and the intensely heated transition region and corona. Compressible and incompressible waves propagating through the chromosphere can supply significant amounts of energy to the interface region and corona. In recent years an abundance of high-resolution observations from state-of-the-art facilities have provided new and exciting ways of disentangling the characteristics of oscillatory phenomena propagating through the dynamic chromosphere. Coupled with rapid advancements in magnetohydrodynamic wave theory, we are now in an ideal position to thoroughly investigate the role waves play in supplying energy to sustain chromospheric and coronal heating. Here, we review the recent progress made in characterising, categorising and interpreting oscillations manifesting in the solar chromosphere, with an impetus placed on their intrinsic energetics.Comment: 48 pages, 25 figures, accepted into Space Science Review

Magnetohydrodynamic Waves in an Asymmetric Magnetic Slab

Analytical models of solar atmospheric magnetic structures have been crucial for our understanding of magnetohydrodynamic (MHD) wave behaviour and in the development of the field of solar magneto-seismology. Here, an analytical approach is used to derive the dispersion relation for MHD waves in a magnetic slab of homogeneous plasma enclosed on its two sides by non-magnetic, semi-infinite plasma with different densities and temperatures. This generalises the classic magnetic slab model, which is symmetric about the slab. The dispersion relation, unlike that governing a symmetric slab, cannot be decoupled into the well-known sausage and kink modes, i.e. the modes have mixed properties. The eigenmodes of an asymmetric magnetic slab are better labelled as quasi-sausage and quasi-kink modes. Given that the solar atmosphere is highly inhomogeneous, this has implications for MHD mode identification in a range of solar structures. A parametric analysis of how the mode properties (in particular the phase speed, eigenfrequencies, and amplitudes) vary in terms of the introduced asymmetry is conducted. In particular, avoided crossings occur between quasi-sausage and quasi-kink surface modes, allowing modes to adopt different properties for different parameters in the external region

Physics of Solar Prominences: I - Spectral Diagnostics and Non-LTE Modelling

This review paper outlines background information and covers recent advances made via the analysis of spectra and images of prominence plasma and the increased sophistication of non-LTE (ie when there is a departure from Local Thermodynamic Equilibrium) radiative transfer models. We first describe the spectral inversion techniques that have been used to infer the plasma parameters important for the general properties of the prominence plasma in both its cool core and the hotter prominence-corona transition region. We also review studies devoted to the observation of bulk motions of the prominence plasma and to the determination of prominence mass. However, a simple inversion of spectroscopic data usually fails when the lines become optically thick at certain wavelengths. Therefore, complex non-LTE models become necessary. We thus present the basics of non-LTE radiative transfer theory and the associated multi-level radiative transfer problems. The main results of one- and two-dimensional models of the prominences and their fine-structures are presented. We then discuss the energy balance in various prominence models. Finally, we outline the outstanding observational and theoretical questions, and the directions for future progress in our understanding of solar prominences.Comment: 96 pages, 37 figures, Space Science Reviews. Some figures may have a better resolution in the published version. New version reflects minor changes brought after proof editin

Degeneracy in infinite horizon optimization

We consider sequential decision problems over an infinite horizon. The forecast or solution horizon approach to solving such problems requires that the optimal initial decision be unique. We show that multiple optimal initial decisions can exist in general and refer to their existence as degeneracy. We then present a conceptual cost perturbation algorithm for resolving degeneracy and identifying a forecast horizon. We also present a general near-optimal forecast horizon.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/47919/1/10107_2005_Article_BF01582295.pd